みちくさ・すうがく数学の反例を見つけましょう - 共立出版コンピュータサイエンス誌『bit』